Richard Bird is famed for the clarity and rigour of his writing. His new textbook, which introduces functional programming to students, emphasises fundamental techniques for reasoning mathematically about functional programs. By studying the underlying equational laws, the book enables students to apply calculational reasoning to their programs, both to understand their propert...(展开全部)

Richard Bird is famed for the clarity and rigour of his writing. His new textbook, which introduces functional programming to students, emphasises fundamental techniques for reasoning mathematically about functional programs. By studying the underlying equational laws, the book enables students to apply calculational reasoning to their programs, both to understand their propert...(展开全部)

Get Programming with Haskell leads you through short lessons, examples, and exercises designed to make Haskell your own. It has crystal-clear illustrations and guided practice. You will write and test dozens of interesting programs and dive into custom Haskell modules. You will gain a new perspective on programming plus the practical ability to use Haskell in the everyday world...(展开全部)

Get Programming with Haskell leads you through short lessons, examples, and exercises designed to make Haskell your own. It has crystal-clear illustrations and guided practice. You will write and test dozens of interesting programs and dive into custom Haskell modules. You will gain a new perspective on programming plus the practical ability to use Haskell in the everyday world...(展开全部)

This fast-moving guide introduces web application development with Haskell and Yesod, a potent language/framework combination that supports high-performing applications that are modular, type-safe, and concise. You’ll work with several samples to explore the way Yesod handles widgets, forms, persistence, and RESTful content. You also get an introduction to various Haskell tools...(展开全部)

This fast-moving guide introduces web application development with Haskell and Yesod, a potent language/framework combination that supports high-performing applications that are modular, type-safe, and concise. You’ll work with several samples to explore the way Yesod handles widgets, forms, persistence, and RESTful content. You also get an introduction to various Haskell tools...(展开全部)

本书是一本由浅入深的Haskell教程。书中首先介绍Haskell的基础语法和函数式编程的基本概念，以及GHC、GHCi、Cabal等工具的用法；接着按照函子→应用函子→单子的顺序介绍Haskell中核心的三大类型类，并以列表单子、Reader单子和State单子为例详细分析单子类型类的来龙去脉；后介绍Foldable和Traversable类型类、单子变换、GHC的语言扩展和程序标注，以及网络编程、数据库、并发并行、序列化/反序列化与泛型编程、异常处理等内容。

本书是一本由浅入深的Haskell教程。书中首先介绍Haskell的基础语法和函数式编程的基本概念，以及GHC、GHCi、Cabal等工具的用法；接着按照函子→应用函子→单子的顺序介绍Haskell中核心的三大类型类，并以列表单子、Reader单子和State单子为例详细分析单子类型类的来龙去脉；后介绍Foldable和Traversable类型类、单子变换、GHC的语言扩展和程序标注，以及网络编程、数据库、并发并行、序列化/反序列化与泛型编程、异常处理等内容。